#include <iostream>
#include "prelude.h"


using namespace std;

namespace TC1
{
#include<basic_1.phs.h>
}

namespace TC2
{
#include<basic_2.phs.h>
}
namespace TC3
{
#include<basic_3.phs.h>
}
namespace TC4
{
#include<bind_1.phs.h>
}
namespace TC5
{
#include<bind_2.phs.h>
}
namespace TC6
{
#include<compose_lambda_lifting.phs.h>
}
namespace TC7
{
#include<compose_lambda_lifting_2.phs.h>
}
namespace TC8
{
#include<factorial_guard.phs.h>
}
namespace TC9
{
#include<guard_lambdaexp.phs.h>
}
namespace TC10
{
#include<if_facrorial.phs.h>
}
namespace TC11
{
#include<if_lambda_complex.phs.h>
}
namespace TC12
{
#include<if_test.phs.h>
}
namespace TC13
{
#include<lambda_lifting.phs.h>
}
namespace TC14
{
#include<lamdalifting2.phs.h>
}
namespace TC15
{
#include<lazy_list.phs.h>
}
namespace TC16
{
#include<lazy_1.phs.h>
}
namespace TC17
{
#include<lazy_bind_complex.phs.h>
}
namespace TC18
{
#include<list.phs.h>
}
namespace TC19
{
#include<list_pattern_matching.phs.h>
}
namespace TC20
{
#include<locals.phs.h>
}
namespace TC21
{
#include<locals2.phs.h>
}
namespace TC22
{
#include<locals_lazy_compose.phs.h>
}
namespace TC23
{
#include<operators_comments.phs.h>
}
namespace TC24
{
#include<pattern_matching_factorial.phs.h>
}
namespace TC25
{
#include<simple_pattern_matching.phs.h>
}
namespace TC26
{
#include<usertypes.phs.h>
}

int main()
{
    
    cout << TC1::maint::evaluate  << endl;
    cout << TC2::maint::evaluate  << endl;
	cout << TC3::maint::evaluate  << endl;
	cout << TC4::maint::evaluate  << endl;
	cout << TC5::maint::evaluate  << endl;
	cout << TC6::maint::evaluate  << endl;
	cout << TC7::maint::evaluate  << endl;
	cout << TC8::maint::evaluate  << endl;
	cout << TC9::maint::evaluate  << endl;
	cout << TC10::maint::evaluate  << endl;
	cout << TC11::maint::evaluate  << endl;
	cout << TC12::maint::evaluate  << endl;
	cout << TC13::maint::evaluate  << endl;
	cout << TC14::maint::evaluate  << endl;
	cout << TC15::maint::evaluate  << endl;
	cout << TC16::maint::evaluate  << endl;
	cout << TC17::maint::evaluate  << endl;
	cout << TC18::maint::evaluate  << endl;
	cout << TC19::maint::evaluate  << endl;
	cout << TC20::maint::evaluate  << endl;
	cout << TC21::maint::evaluate  << endl;
	cout << TC22::maint::evaluate  << endl;
	cout << TC23::maint::evaluate  << endl;
	cout << TC24::maint::evaluate  << endl;
	cout << TC25::maint::evaluate  << endl;
	cout << TC26::maint::evaluate  << endl;
	
    return 0;
}


